package dbc;
/**
* A class to represent contract violations by user 
*/
public class ContractException extends RuntimeException {

    public ContractException() {
    }

    public ContractException(String msg) {
        super(msg);
    }
}
